Search
Now showing items 1-2 of 2
Dynamic agent safety logic : theory and applications
(University of Missouri--Columbia, 2019)
Modal logic is a family of logics for reasoning about relational structures, broadly construed. It sits at the nexus of philosophy, mathematics, software engineering, and economics. By modeling a target domain as a relational ...
Reliable service chain orchestration for scalable data-intensive computing at infrastructure edges
(University of Missouri--Columbia, 2019)
In the event of natural or man-made disasters, geospatial video analytics is valuable to provide situational awareness that can be extremely helpful for first responders. However, geospatial video analytics demands massive ...